Unifying Models of Data Flow

نویسندگان

  • C. A. R. Hoare
  • John Wickerson
چکیده

We propose a model of computation, based on data flow, that unifies several disparate programming phenomena, including local and shared variables, synchronised and buffered communication, reliable and unreliable channels, dynamic and static allocation, explicit and garbage-collected disposal, fine-grained and coarse-grained concurrency, and weakly and strongly consistent memory.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Flow Variables Prediction Using Experimental, Computational Fluid Dynamic and Artificial Neural Network Models in a Sharp Bend

Bend existence induces changes in the flow pattern, velocity profiles and water surface. In the present study, based on experimental data, first three-dimensional computational fluid dynamic (CFD) model is simulated by using Fluent two-phase (water + air) as the free surface and the volume of fluid method, to predict the two significant variables (velocity and channel bed pressure) in 90º sharp...

متن کامل

Subcooled two-phase flow boiling in a microchannel heat sink: comparison of conventional numerical models

Subcooled flow boiling in multi-microchannels can be used as an efficient thermal management approach in compact electrical devices. Highly subcooled flow boiling of HFE 7100 is studied in two microchannel heat sinks to choose a proper numerical model for simulating boiling flows in microchannels. Results of five different numerical models, including Volume of Fluid (VOF), Eulerian boiling, Eul...

متن کامل

Improvement of Support Vector Machine and Random Forest Algorithm in Predicting Khorramabad River Flow Uusing Non-uniform De-Noising of data and Simplex Algorithm

In this study, in order to simulate the monthly flow of the Khorramabad River, the time series of this river was decomposed into three levels using the wavelet of Daubechies-3, during the period of 1955-2014. Based on this, it was found that there is a Non-uniform noise that includes two periods of time in this signal, with the October 2008 border which required that the signal be become non-un...

متن کامل

Numerical Simulation of Turbulent Subsonic Compressible Flow through Rectangular Microchannel

In this study, turbulent compressible gas flow in a rectangular micro-channel is numerically investigated. The gas flow assumed to be in the subsonic regime up to Mach number about 0.7. Five low and high Reynolds number RANS turbulence models are used for modeling the turbulent flow. Two types of mesh are generated depending on the employed turbulence model. The computations are performed for R...

متن کامل

Assessment of Turbulent Models in Computation of Strongly Curved Open Channel Flows

Several rigorous turbulent models have been developed in the past years and it can be seen that more research is needed to reach a better understanding of their generality and precision by verifying their applications for distinct hydraulic phenomena; under certain assumptions. This survey evaluates the performance of Standard k-ε, Realizable k-ε, RNG k-ε, k-ω and RSM models in predicting flow ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011